symbolic logic

单词symbolic logic

基本解释

na.: 【数】符号逻辑
网络: 数理逻辑；符号逻萝辑；象征逻辑

英汉解释

• 【数学】符号逻辑,数理逻辑

• 符号选择

例句

• Symbolic logic is often divided into two branches, propositional logic and predicate logic.

  符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

• I"ll just leave you with a little conundrum because that"s philosophical logic we"re not doing that here, we are doing symbolic logic here.

  我会给你们一些难题因为，我们在做哲学逻辑，我们在做符号逻辑。

• So the research on symbolic logic become an academic focus, the French philosopher Jean Baudrillard is a typical representative.

  于是对符号逻辑的研究成为学术热点，法国哲学家鲍德里亚就是一位典型代表。

• Clearly the infamous inventor of symbolic logic, Dr. George Boole -- see Resources -- would feel right at home.

  显然，“声名狼籍的”符号逻辑发明者GeorgeBoole博士—请参阅参考资料—会觉得这些选项很亲切。

• Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.

  符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

• This text will first introduce you one branch of symbolic logic, what is generally called sentential , or propositional, logic.

  本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。

• Read more about Dr. George Boole, the inventor of symbolic logic, after whom booleans are named.

  阅读关于GeorgeBoole博士（符号逻辑的发明者）的更多内容，布尔型就是因他而得名的。

• Atom propositions are the basic unit of symbolic logic.

  原子命题是数理逻辑研究的基本单位。

• an operation that follows the rules of symbolic logic.

  依据数理逻辑法则进行的操作或运算。

• it is an example of symbolic logic.

  这是个象征逻辑的例子。